The file name Issue.1947.agda
is invalid because it does not correspond to a valid module name.
